Many-Valued Logic in an Intelligent Tutoring System
نویسندگان
چکیده
This paper describes relations between a trilattice and corresponding meet-distributive lattices. The three meet-distributive lattices illustrate the five information levels, five logical levels and five levels of constructivity respectively. While the trilattice shows connections among the sexteen truth values in general, the three meetdistributive lattices visualize specific information about the sexteen truth values with respect to information, logic and constructivity. Key–Words: sixteen-valued logic, meet-distributive lattices
منابع مشابه
شخصی سازی محیط یادگیری الکترونیکی به کمک توصیه گر فازی مبتنی برتلفیق سبک یادگیری و سبک شناختی
Personalization needs to identify the learners’ preferences and their characteristics as an important part in any e-learning environment which without identify learners’ mental characteristics and their learning approaches, personalization cannot be possible. Whatever this identifying process has been done more completely and more accurately, the learner model that based on it will be more reli...
متن کاملDesigning an Intelligent Intrusion Detection System in the Electronic Banking Industry Using Fuzzy Logic
One of the most important obstacles to using Internet banking is the lack of Stability of transactions and some misuse in the course of transactions it is financial. That is why preventing unauthorized access Crime detection is one of the major issues in financial institutions and banks. In this article, a system of intelligence has been designed that recognizes Suspicious and unusual behaviors...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملAn Intelligent Teaching Assistant System for Logic
This paper presents the Logic-ITA, an Intelligent Teaching Assistant system for the teaching/learning of propositional logic. Intelligent Teaching Assistant Systems are dedicated both to learners and teachers. The system embeds three tools: the Logic Tutor, the LT-Configurator and the LT-Analyser. The Logic Tutor is an intelligent tutoring system destined to the students. The other two tools ar...
متن کاملDevelopment of an Intelligent System to Synthesize Petrophysical Well Logs
Porosity is one of the fundamental petrophysical properties that should be evaluated for hydrocarbon bearing reservoirs. It is a vital factor in precise understanding of reservoir quality in a hydrocarbon field. Log data are exceedingly crucial information in petroleum industries, for many of hydrocarbon parameters are obtained by virtue of petrophysical data. There are three main petrophysical...
متن کامل